Automated reasoning

Results: 284



#Item
21Journal of Automated Reasoning 16: 321–353, 1996. c 1996 Kluwer Academic Publishers. Printed in the Netherlands. 321

Journal of Automated Reasoning 16: 321–353, 1996. c 1996 Kluwer Academic Publishers. Printed in the Netherlands. 321

Add to Reading List

Source URL: www.cs.bu.edu

- Date: 2001-01-30 15:44:51
    22¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

    ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

    Add to Reading List

    Source URL: resources.mpi-inf.mpg.de

    - Date: 2013-08-19 07:45:49
      23Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette

      Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette

      Add to Reading List

      Source URL: people.mpi-inf.mpg.de

      - Date: 2015-01-25 16:18:54
        24Microsoft Word - BlankPage

        Microsoft Word - BlankPage

        Add to Reading List

        Source URL: www.cs.miami.edu

        Language: English - Date: 2007-08-16 08:58:53
        25SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

        SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

        Add to Reading List

        Source URL: www.dcs.bbk.ac.uk

        Language: English - Date: 2011-06-23 09:19:29
        26Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨

        Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨

        Add to Reading List

        Source URL: www.dcs.bbk.ac.uk

        Language: English - Date: 2011-06-16 09:07:59
        27Automated Critique of Sketched Mechanisms

        Automated Critique of Sketched Mechanisms

        Add to Reading List

        Source URL: silccenter.org

        Language: English - Date: 2010-05-15 15:22:12
        28TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab

        TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab

        Add to Reading List

        Source URL: www.cse.chalmers.se

        Language: English - Date: 2015-05-06 07:44:21
        29User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm

        User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm

        Add to Reading List

        Source URL: matita.cs.unibo.it

        Language: English - Date: 2007-05-25 11:04:13
        30MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2

        MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2

        Add to Reading List

        Source URL: people.mpi-inf.mpg.de

        Language: English - Date: 2015-03-13 06:06:51